CHR 2013 — Proceedings of the 10 th International Workshop on Constraint Handling Rules

نویسندگان

  • Henning Christiansen
  • Jon Sneyers
  • KU Leuven
چکیده

This volume contains the papers presented at CHR 2013, the 10th International Workshop on Constraint Handling Rules held on July 13th 2013 in Berlin (Germany), at the occasion of the Third International Summer School on CHR. This workshop is the tenth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of ideas and feedback on recent developments. Previous workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagenberg (Austria) at RTA, in 2009 in Pasadena (California, USA) at ICLP, in 2010 in Edinburgh (Scotland) at ICLP, in 2011 in Cairo (Egypt) at the second CHR summer school, and in 2012 in Budapest (Hungary) at ICLP.

منابع مشابه

CHR 2009 — Proceedings of the 6 th International Workshop on Constraint Handling Rules

This volume contains the papers presented at CHR 2009, the sixth international workshop on Constraint Handling Rules, held on July 15th, 2009 at the occasion of ICLP 2009 and IJCAI 2009 in Pasadena (California, USA). Previous workshops on Constraint Handling Rules were organized in May 2004 in Ulm (Germany), in October 2005 in Sitges (Spain) at ICLP, in July 2006 in Venice (Italy) at ICALP, in ...

متن کامل

Proceedings of the Ninth International Workshop on Constraint Handling Rules September 4 th , 2012 Budapest , Hungary

This volume contains the papers presented at CHR 2012, the 9th International Workshop on Constraint Handling Rules held on September 4th, 2012 in Budapest, at the occasion of ICLP 2012. This workshop was the ninth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of i...

متن کامل

Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules

This book contains the Proceedings of CHR 2005, the Second Workshop on Constraint Handling Rules, held at the occasion of ICLP 2005 in Sitges (Spain) on October 5, 2005. The Constraint Handling Rules (CHR) language has become a major declarative specification and implementation language for constraint reasoning algorithms and applications. Algorithms are often specified using inference rules, r...

متن کامل

Proceedings of the 7th International Workshop on Constraint Handling Rules

This volume contains the papers presented at CHR 2010, the Seventh International Workshop on Constraint Handling Rules held at the occasion of ICLP 2010, part of FLoC 2010, on 20 July 2010 in Edinburgh, Scotland.

متن کامل

Proceedings of the Third Workshop on Constraint Handling Rules

This book contains the proceedings of CHR 2006, the Third Workshop on Constraint Handling Rules, held at the occasion of ICALP 2006 in Venice (Italy) on July 9, 2006. The workshop means to bring together, in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of ideas and feedback on recent developments.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013